ساختار حلقه ی درون ریختی یک مدول کوهمولوژی موضعی مشخص

فرض کنیم (r,m) یک حلقه ی گورنشنتاین n بعدی است، برای یک ایده آل i?r با ارتفاع c ، حلقه ی درون ریختی b=?hom?_r (h_i^c (r),h_i^c (r) ) را مورد بررسی قرار می دهیم. می توان نشان داد که b یک حلقه ی جابجایی است. در حالتی که (r,m) یک حلقه ی موضعی منظم شامل یک میدان باشد، b یک حلقه ی کوهن مکولی است. ویژگی های این حلقه وابسته به بزرگترین عدد لیوبزنیک l=?dim?_k ?ext?_r^d (k,h_i^c (r) ) است که d=dim??r?i?. به ویژه ثابت خواهیم کرد که r?b اگر و تنها اگر l=1 . علاوه بر این، نشان می دهیم که همریختی طبیعی ?ext?_r^d (k,h_i^c (r) )?k غیر صفر است.